/SeparationSave save def

% Begin Composite Proof